Nets, sequential components and concurrency relationsJANICKI, R.Theoretical computer science. 1984, Vol 29, Num 1-2, pp 87-121, issn 0304-3975Article

Structural refinement in Object-Z / CSPDERRICK, John; SMITH, Graeme.Lecture notes in computer science. 2000, pp 194-213, issn 0302-9743, isbn 3-540-41196-8Conference Paper

CSP : communicating sequential processes : the first 25 years (London, 7-8 July 2004, revised invited papers)Abdallah, Ali E; Jones, Cliff B; Sanders, Jeff W et al.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-25813-2, XIV, 320 p, isbn 3-540-25813-2Conference Proceedings

A new class of binary CSPs for which arc-consistency is a decision procedureCOHEN, David A.Lecture notes in computer science. 2003, pp 807-811, issn 0302-9743, isbn 3-540-20202-1, 5 p.Conference Paper

Infinitary parallelism without unbounded nondeterminism in CSPNARAYAN KUMAR, K; PANDYA, P. K.Acta informatica. 1993, Vol 30, Num 5, pp 467-487, issn 0001-5903Article

Terminaison distribuée et groupes commutatifs = Distributed termination and commutative groupsMONIN, J. F.1985, 2 p.Report

Transformations de programmes C.S.P. : modélisation des signaux, modélisation des gardes de sorties = CSP program transformation: signal modelling, output guard modellingBASSOT, Jean-Pierre.1984, 134 p. msThesis

Recursive process definitions with the state operatorBAETEN, J. C. M; BERGSTRA, J. A.Theoretical computer science. 1991, Vol 82, Num 2, pp 285-302, issn 0304-3975, 18 p.Article

An efficient technique for deadlock analysis of large scale process networksMARTIN, J. M. R; JASSIM, S. A.Lecture notes in computer science. 1997, pp 418-441, issn 0302-9743, isbn 3-540-63533-5Conference Paper

Relating may and must testing semantics for discrete timed process algebrasLLANA DIAZ, L. F; DE FRUTOS ESCRIG, D.Lecture notes in computer science. 1999, pp 74-86, issn 0302-9743, isbn 3-540-66856-XConference Paper

Implementing a model checker for LEGOYU, S; LUO, Z.Lecture notes in computer science. 1997, pp 442-458, issn 0302-9743, isbn 3-540-63533-5Conference Paper

Protocoles pour le rendez-vous et l'équité = Protocols for rendez-vous and fairnessPandolfi, Xavier; Jorrand, Philippe.1992, 97 p.Thesis

CSP, occam and transputersMAY, David.Lecture notes in computer science. 2005, pp 75-84, issn 0302-9743, isbn 3-540-25813-2, 10 p.Conference Paper

A note on the notation of recursion in process algebrasTAUBNER, D.Information processing letters. 1991, Vol 37, Num 6, pp 299-303, issn 0020-0190, 5 p.Article

A compositional proof system for shared variable concurrencyDE BOER, F. S; HANNEMANN, U; DE ROEVER, W.-P et al.Lecture notes in computer science. 1997, pp 515-532, issn 0302-9743, isbn 3-540-63533-5Conference Paper

Using a PVS embedding of CSP to verify authentication protocolsDUTERTRE, B; SCHNEIDER, S.Lecture notes in computer science. 1997, pp 121-136, issn 0302-9743, isbn 3-540-63379-0Conference Paper

On communicating sequential processesPANDEY, B. D; PATHAK, S. S.Computer networks and ISDN systems. 1995, Vol 27, Num 9, pp 1333-1348, issn 0169-7552Article

Slack elasticity in concurrent computingMANOHAR, R; MARTIN, A. J.Lecture notes in computer science. 1998, pp 272-285, issn 0302-9743, isbn 3-540-64591-8Conference Paper

EULISP threads: a concurrency toolboxBERRINGTON, N; BROADBERY, P; DE ROURE, D et al.Lisp and symbolic computation. 1993, Vol 6, Num 1-2, pp 177-199, issn 0892-4635Article

Two small parallel programming exercisesLOYENS, L. D. J. C; VAN DE VORST, J. G. G.Science of computer programming. 1990, Vol 15, Num 2-3, pp 159-169, issn 0167-6423, 11 p.Article

Scheduling algebraVAN GLABBEEK, R; RITTGEN, P.Lecture notes in computer science. 1999, pp 278-292, issn 0302-9743, isbn 3-540-65462-3Conference Paper

Testing semantics for unbounded nondeterminismFDO, L; DIAZ, L; NUNEZ, M et al.Lecture notes in computer science. 1997, pp 538-545, issn 0302-9743, isbn 3-540-63440-1Conference Paper

Script: a communication abstraction mechanism and its verificationNISSIM FRANCEZ; HAILPERN, B; TAUBENFELD, G et al.Science of computer programming. 1986, Vol 6, Num 1, pp 35-88, issn 0167-6423Article

Introduction à OCCAM langage parallèle issu de CSP pour la programmation des systèmes de transinateurs = Introduction to parallel language OCCAM derived from the transputers systems programmingMUNTEAN, Traian.Rapport de recherche - IMAG. 1983, Num 430, issn 0750-7380, 54 p.Report

DEADLOCK DETECTION FOR A CLASS OF COMMUNICATING FINITE STATE MACHINESYAO TIN YU; GOUDA MG.1982; IEEE TRANSACTIONS ON COMMUNICATIONS; ISSN 0090-6778; USA; DA. 1982; VOL. 30; NO 12; PP. 2514-2518; BIBL. 11 REF.Article